61. From a geometrical point of view
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; History. ; Categories (Mathematics) ; Philosophy. ; Functor theory. ; Algebraic logic. ;
62. From objects to diagrams for ranges of functors
پدیدآورنده : Gillibert, Pierre
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Functor theory,، Algebra, Boolean,، Algebraic logic
رده :
QA
3
.
L28
Vol
.
2029
63. Fuzzy lie algebras /
پدیدآورنده : Muhammad Akram.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy mathematics.,Lie algebras.,General Algebraic Systems.,Mathematical Logic and Foundations.,Fuzzy mathematics.,Lie algebras.
رده :
QA252
.
3
.
A37
2018
64. Geometry of Subanalytic and Semialgebraic Sets
پدیدآورنده : by Masahiro Shiota.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic topology.,Geometry, Algebraic.,Geometry.,Logic, Symbolic and mathematical.,Mathematics.,Topology.
65. Information Theory and network Coding
پدیدآورنده : Raymond W. Yeung
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Information theory in mathematics Congresses,Coding theory Congresses,Algebraic logic Congresses
رده :
QA
،
10
.
4
،.
Y4
،
2008
66. Introductory physics with algebra: mastering problem-solving
پدیدآورنده : Loucks, Stuart E.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Textbooks ، Mathematical physics,Textbooks ، Algebraic logic,Mathematics - Textbooks ، Problem solving
رده :
QC
20
.
7
.
A4
L68
2007
67. Logic and algebra
پدیدآورنده : / edited by Aldo Ursini, Paolo Aglianao
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Algebraic logic, Congresses
رده :
QA10
.
L63
1996
68. Logic and algebra
پدیدآورنده : / edited by Aldo Ursini, Paolo Agliano
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Algebraic logic- Congresses
رده :
QA10
.
L63
1996
69. Logic and its applications
پدیدآورنده : Andreas Blass, Yi Zhang, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Algebraic logic,Congresses ، Geometry, Algebraic
رده :
QA
10
.
L634
70. Logic and its applications: International Conference on Logic and Its Applications in Algebra and Geometry, April 11-13, 2003, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, April 14-15, 2003, University of Michigan, Ann Arbor, Michigan
پدیدآورنده : Andreas Blass, Yi Zhang, editors
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Algebraic logic,Congresses ، Geometry, Algebraic
رده :
QA
10
.
I578
2003
71. Logic in algebraic form. Three languages and theories
پدیدآورنده : Craig, William.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebraic logic,، Proof theory
رده :
QA
10
.
C73
72. Logic in algebraic form. Three languages and theories Amsterdam. North-Holland Pub. Co
پدیدآورنده : Craig, William
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Algebraic logic,، Proof theory
رده :
QA
10
.
C7
73. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبان‌های صوری
رده :
P
39
.
L644
2015
E-Book
,
74. Mathematical logic and algebra : collected papers dedicated to the 100th birthday of academician petr Sergeevich Novikov
پدیدآورنده : Translated and published by Maik Nauka/Interperiodica Publishing
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
رده :
QA
1
.
P736
Vol
.
242
75. Model theory and algebraic geometry: An introduction to E. Hrushovski's proof of the geometric mordell - lang conjecture
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Model theory (Mathematical logic),Algebraic geometry
رده :
QA
,
3
,.
L28
,
NO
.
1696
,
1999
76. Model theory of algebra and arithmetic: proceedings of the conference on ... held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J Wierzejewski, and A. J. Wilkie
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Model theory,، Algebraic logic,، Groups, Theory of,، Set theory
رده :
QA
3
.
L28
no
.
834
77. Non-commutative multiple-valued logic algebras
پدیدآورنده : Ciungu, Lavinia Corina, Lavinia Corina Ciungu
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Noncommutative algebras,، Algebraic logic,، Mathematical Logic and Foundations,، Order, Lattices, Ordered Algebraic Structures,، Probability Theory and Stochastic Processes,، Measure and Integration
رده :
QA251
.
4
.
C58
2014
78. Non-commutative multiple-valued logic algebras
پدیدآورنده : Ciungu, Lavinia Corina.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Noncommutative algebras,، Algebraic logic,، Ordered Algebraic Structures,، Mathematical Logic and Foundations,، Probability Theory and Stochastic Processes,، Order, Lattices,، Measure and Integration
رده :
QA
251
.
4
.
C58
2014
79. Ordinal algebras
پدیدآورنده : Tarski, Alfred.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebraic logic,، Arithmetic - Foundations
رده :
QA
10
.
T37
80. Physics with MAPLE :the computer algebra resource for mathematical
پدیدآورنده : Tanenbaum, Andrew S
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Operating systems )Computers(,، MINIX,، Mathematical physics Data processing,، Algebraic logic Data processing,، Maple )Computer file(
رده :
QA
76
.
76O63
T36
2006
